Reference Capabilities for Safe Parallel Array Programming
نویسندگان
چکیده
منابع مشابه
Capabilities of Constraint Programming in Safe Global Optimization
We investigate the capabilities of constraints programming techniques in rigorous global optimization methods. We introduce different constraint programming techniques to reduce the gap between efficient but unsafe systems like Baron, and safe but slow global optimization approaches. We show how constraint programming filtering techniques can be used to implement optimality-based reduction in a...
متن کاملSafe Parallel Programming in an Interpreted Language
Parallel programming is increasingly important with the advent of multicore processors. However, modern software is difficult to parallelize because of the high degree of modularization. It is unclear whether a piece of code is parallel if it calls other functions. Dynamic languages such as Ruby, Python, and Matlab represent modularization to the extreme. A program, also known as a script, requ...
متن کاملSafe Parallel Programming with Session Java
The session-typed programming language Session Java (SJ) has proved to be an effective tool for distributed programming, promoting structured programming for communications and compile-time safety. This paper investigates the use of SJ for session-typed parallel programming, and introduces new language primitives for chained iteration and multi-channel communication. These primitives allow the ...
متن کاملLanguage Constructs for Safe Parallel Programming on Multi-Cores
eects and checking are implemented in the compiler. emore speculative gradual eect checking remains to be implemented. We have also not yet completely formalized or proven the soundness of the gradual eect system. 5.5 Unlocking Eects Using eects for data race-free parallelism is conceptually very similar to using locks. Annotating a method with an eect clause eectively locks the data des...
متن کاملAn Adaptive Compilation Framework for Generic Data-Parallel Array Programming
Generic array programming abstracts from structural properties of arrays, such as rank (number of axes/dimensions) and shape (number of element along each axis/dimension). This allows for abstract program specifications and, as such, is desirable from a software engineering perspective. However, generic programming in this sense does have an adverse effect on runtime performance when executed n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Art, Science, and Engineering of Programming
سال: 2019
ISSN: 2473-7321
DOI: 10.22152/programming-journal.org/2020/4/1